Per discussion in January, this printk can be turned off as it
is just indicating that a condition occurred which Kevin fixed.
http://lists.xensource.com/archives/html/xen-ia64-devel/2006-01/msg00117.html
The similar "Oops: timer tick before it's due" from Linux
is probably related but not understood or fixed.
Signed-off-by: Dan Magenheimer <dan.magenheimer@hp.com>
if (vector == (PSCB(vcpu,itv) & 0xff)) {
uint64_t now = ia64_get_itc();
if (now < PSCBX(vcpu,domain_itm)) {
- printk("Ooops, pending guest timer before its due\n");
+// printk("Ooops, pending guest timer before its due\n");
PSCBX(vcpu,irr[i]) &= ~mask;
goto check_start;
}